Results for 'Agnes B. Curry'

998 found
Order:
  1. The logos of life and sexual difference: Irigaray and tymieniecka.Agnes B. Curry - 2006 - Analecta Husserliana 89:231-242.
  2.  21
    Remarks on the definition and nature of mathematics.H. B. Curry - 1954 - Dialectica 8 (3):228-233.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  3. Basic theory of functionality. Analogies with propositional algebra.H. B. Curry & R. Feys - 1995 - In Philippe De Groote (ed.), The Curry-Howard isomorphism. Louvain-la-Neuve: Academia.
     
    Export citation  
     
    Bookmark   1 citation  
  4.  51
    To H.B. Curry: essays on combinatory logic, lambda calculus, and formalism.Haskell B. Curry, J. Roger Hindley & J. P. Seldin (eds.) - 1980 - New York: Academic Press.
  5.  29
    Combinatory Logic.Haskell B. Curry, J. Roger Hindley & Jonathan P. Seldin - 1977 - Journal of Symbolic Logic 42 (1):109-110.
    Direct download  
     
    Export citation  
     
    Bookmark   59 citations  
  6. To H. B. Curry: Essays on Combinatory Logic, Lambda Calculus, and Formalism.Haskell Curry, Hindley B., Seldin J. Roger & P. Jonathan (eds.) - 1980 - Academic Press.
    No categories
     
    Export citation  
     
    Bookmark  
  7. Combinatory Logic, Volume I.Haskell B. Curry, Robert Feys & William Craig - 1959 - Philosophical Review 68 (4):548-550.
  8.  91
    The inconsistency of certain formal logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (3):115-117.
  9.  44
    A Theory of Formal Deducibility.Haskell B. Curry - 1951 - Journal of Symbolic Logic 16 (1):56-58.
    Direct download  
     
    Export citation  
     
    Bookmark   22 citations  
  10. The system LD.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (1):35-42.
  11.  35
    Altruism in social networks: evidence for a 'kinship premium'.Oliver Curry, Sam G. B. Roberts & Robin I. M. Dunbar - unknown
    Why and under what conditions are individuals altruistic to family and friends in their social networks? Evolutionary psychology suggests that such behaviour is primarily the product of adaptations for kin- and reciprocal altruism, dependent on the degree of genetic relatedness and exchange of benefits, respectively. For this reason, individuals are expected to be more altruistic to family members than to friends: whereas family members can be the recipients of kin and reciprocal altruism, friends can be the recipients of reciprocal altruism (...)
    Direct download  
     
    Export citation  
     
    Bookmark   9 citations  
  12. Outlines of a Formalist Philosophy of Mathematics.Haskell B. Curry & Abraham Robinson - 1952 - British Journal for the Philosophy of Science 3 (10):197-200.
     
    Export citation  
     
    Bookmark   16 citations  
  13.  39
    Some Logical Aspects of Grammatical Structure.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (4):341-341.
    Direct download  
     
    Export citation  
     
    Bookmark   16 citations  
  14.  18
    Modified basic functionality in combinatory logic.Haskell B. Curry - 1969 - Dialectica 23 (2):83-92.
  15.  82
    The elimination theorem when modality is present.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):249-265.
  16.  91
    The combinatory foundations of mathematical logic.Haskell B. Curry - 1942 - Journal of Symbolic Logic 7 (2):49-64.
  17. A mathematical treatment of the rules of the syllogism.H. B. Curry - 1936 - Mind 45 (178):209-216.
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  18.  10
    The System LD.Haskell B. Curry - 1953 - Journal of Symbolic Logic 18 (3):266-268.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  19.  59
    Language, metalanguage, and formal system.Haskell B. Curry - 1950 - Philosophical Review 59 (3):346-353.
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20.  33
    On the definition of substitution, replacement and allied notions in a abstract formal system.Haskell B. Curry - 1952 - Revue Philosophique De Louvain 50 (26):251-269.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  21. On the definition of negation by a fixed proposition in inferential calculus.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (2):98-104.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  22.  9
    A Mathematical Treatment of the Rules of the Syllogism.H. B. Curry - 1936 - Journal of Symbolic Logic 1 (3):114-114.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  23.  6
    A Note on the Reduction of Gentzen's Calculus LJ.H. B. Curry - 1939 - Journal of Symbolic Logic 4 (3):128-128.
  24.  6
    On Definitions in Formal Systems.Haskell B. Curry - 1960 - Journal of Symbolic Logic 25 (1):89-90.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  25.  2
    Remarks on the Definition and Nature of Mathematics.H. B. Curry - 1957 - Journal of Symbolic Logic 22 (1):85-86.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  26.  17
    The Logic of Program Composition.H. B. Curry - 1957 - Journal of Symbolic Logic 22 (1):102-103.
    Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  27.  22
    Leçons de logique algébrique.Haskell B. Curry - 1952 - Paris,: Gauthier-Villars.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  28.  5
    The Pindaric First Person in Flux.B. G. F. Currie - 2013 - Classical Antiquity 32 (2):243-282.
    This article argues that in Pindar's epinicians first-person statements may occasionally be made in the persona of the chorus and the athletic victor. The speaking persona behind Pindar's first-person statements varies quite widely: from generic, rhetorical poses—a laudator, an aoidos in the rhapsodic tradition (the “bardic first person”), an Everyman (the “first person indefinite”)—to strongly individualized figures: the Theban poet Pindar, the chorus, the victor. The arguable changes in the speaker's persona are not explicitly signalled in the text. This can (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Leçons de Logique Algébrique.Haskell B. Curry - 1952 - British Journal for the Philosophy of Science 3 (11):293-294.
     
    Export citation  
     
    Bookmark   4 citations  
  30.  6
    A New Proof of the Church-Rosser Theorem.H. B. Curry - 1956 - Journal of Symbolic Logic 21 (4):377-378.
    Direct download  
     
    Export citation  
     
    Bookmark  
  31.  10
    Hindley Roger. Axioms for strong reduction in combinatory logic.Haskell B. Curry - 1971 - Journal of Symbolic Logic 36 (1):171-172.
  32.  19
    Neutron diffraction measurements on pure and doped synthetic hematite crystals.N. A. Curry, G. B. Johnston, P. J. Besser & A. H. Morrish - 1965 - Philosophical Magazine 12 (116):221-228.
  33.  4
    The deduction theorem in the combinatory theory of restricted generality.H. B. Curry - 1960 - Logique Et Analyse 3 (3):15-39.
    Direct download  
     
    Export citation  
     
    Bookmark  
  34.  11
    The Deduction Theorem in the Combinatory Theory of Restricted Generality.Haskell B. Curry - 1970 - Journal of Symbolic Logic 35 (3):468-469.
    Direct download  
     
    Export citation  
     
    Bookmark  
  35.  4
    Two examples of algorithms.Haskell B. Curry - 1964 - Archive for Mathematical Logic 7 (1-2):29-44.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  36.  43
    The permutability of rules in the classical inferential calculus.Haskell B. Curry - 1952 - Journal of Symbolic Logic 17 (4):245-248.
  37.  10
    Some Aspects of the problem of Mathematical Rigor.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (3):100-102.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  38.  13
    The Combinatory Foundations of Mathematical Logic.Haskell B. Curry - 1943 - Journal of Symbolic Logic 8 (1):31-31.
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations  
  39.  16
    On definitions in formal systems.Haskell B. Curry - 1958 - Logique Et Analyse 1 (3-4):105-114.
  40.  22
    The Paradox of Kleene and Rosser.Haskell B. Curry - 1946 - Journal of Symbolic Logic 11 (4):136-137.
    Direct download  
     
    Export citation  
     
    Bookmark   3 citations  
  41. Representation of Markov algorithms by combinators.H. B. Curry - 1975 - In Alan Ross Anderson, Ruth Barcan Marcus, R. M. Martin & Frederic B. Fitch (eds.), The Logical Enterprise. Yale University Press. pp. 109--119.
    No categories
     
    Export citation  
     
    Bookmark   2 citations  
  42.  77
    Mathematics, syntactics and logic.Haskell B. Curry - 1953 - Mind 62 (246):172-183.
  43. On the use of dots as brackets in logical expressions.H. B. Curry - 1937 - Journal of Symbolic Logic 2 (1):26-28.
    The Peanese convention for the use of dots as brackets has the disadvantage that it gives only an awkward method for representing chains of indefinite length, such as the compound implicationSuch chains occur frequently in logical investigations of a metatheoretic nature, and it is convenient to have a systematic method of abbreviating them. The most obvious method of doing this would be to leave the parentheses out entirely, and to understand that in such cases the implication sign or other operation (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  44.  21
    A Simplification of the Theory of Combinators.Haskell B. Curry - 1948 - Synthese 7 (6-A):391 - 399.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  45. A Theory of Formal Deducibility Vol. 6.Haskell B. Curry - 1966 - University of Notre Dame.
  46.  21
    Crick, F. 222.J. Currie, A. Damasio, J. Danckert, C. Darwin, A. S. David, M. Davies, B. Davis, J. Decety, R. C. DeCharmes & K. Delmeire - 2005 - In Helena De Preester & Veroniek Knockaert (eds.), Body Image and Body Schema. John Benjamins. pp. 329.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  47.  5
    Languages and Formal Systems.H. B. Curry - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:770-772.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  48. Philosophische Bemerkungen zu einigen problemen der mathematischen Logik.Haskell B. Curry - 1951 - Archiv für Philosophie 4 (2):147.
    No categories
     
    Export citation  
     
    Bookmark  
  49. The inferential approach to logical calculus, I.Haskell B. Curry - 1960 - Logique Et Analyse 3 (11):119.
     
    Export citation  
     
    Bookmark  
  50. Consistency and completeness of the theory of combinators.Haskell B. Curry - 1941 - Journal of Symbolic Logic 6 (2):54-61.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   1 citation  
1 — 50 / 998